Hypothetical Reasoning from Situation Calculus to Event Calculus
نویسنده
چکیده
Pinto and Reiter have argued that the Sit uation Calculus improved with time han dling axioms subsumes the features of lin ear time temporal formalisms such as Event Calculus and Interval Logic In this note we nd answers to some of their re marks by showing a modi ed version of Event Calculus that seems to match Sit uation Calculus handling of hypothetical reasoning and projection Further consid eration on semantics and expressive power of Event Calculus put forward by Pinto and Reiter are discussed in the light of re cent proposal for an unifying semantics for languages for time and actions
منابع مشابه
Hypothetical Reasoning about Actions : Fromsituation Calculus to Event
Hypothetical reasoning about actions is the activity of pre-evaluating the eeect of performing actions in a changing domain; this reasoning underlies applications of Knowledge Representation such as planning and explanation generation. Action eeects are often speciied in the language of Situation Calculus, introduced by McCarthy and Hayes in 1969. More recently, the Event Calculus has been deen...
متن کاملDiscrete Event Calculus with Branching Time
We add branching time to the linear discrete event calculus, which yields a formalism for commonsense reasoning that combines the benefits of the situation calculus and the event calculus. We characterize the precise relationship between the linear and branching versions of the discrete event calculus, and prove that a restricted version of the branching discrete event calculus is equivalent to...
متن کاملCombining Situation Calculus and Event Calculus
In this paper we study the diierences between two logic theories for temporal reasoning, the Situation Calculus and the Event Calculus, and the implications of these diierences. We construct a new formalism that combines the advantages of both Situation and Event Calculus and avoids the problems of either. The new formalism is useful for general temporal reasoning in worlds with discrete and co...
متن کاملEvent Calculus
The event calculus [45, 66, 74, 98, 100] is a formalism for reasoning about action and change. Like the situation calculus, the event calculus has actions, which are called events, and time-varying properties or fluents. In the situation calculus, performing an action in a situation gives rise to a successor situation. Situation calculus actions are hypothetical, and time is tree-like. In the e...
متن کاملReconciling the Event Calculus With the Situation Calculus
In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994